Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
951	Elsevier Editorial System(tm) for Linear Algebra and its Applications Manuscript Draft Manuscript Number: LAA-DTitle: Directed modified Cholesky factorizations and convex quadratic relaxations Article Type: Reg Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2014-07-12 10:18:18 Numerical linear algebra Matrices Matrix theory Cholesky decomposition Operator theory Mathematical optimization Symmetric matrix Matrix Quadratic programming Algebra Linear algebra Mathematics
952	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
953	Behavioural Typing for Safe Ambients∗ Michele Bugliesi Giuseppe Castagna Dipartimento di Informatica Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:32:09 Software engineering Type system Valuation Mathematics Type safety Ambient intelligence Computing Mobile Membranes Process calculi Type theory Ambient calculus
954	Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language theory Data types Polymorphism Lambda calculus Object-oriented programming Type system Type inference Hindley–Milner Simply typed lambda calculus Software engineering Type theory Computing
955	Part1: On the learning and using of C++ Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:45 Cross-platform software Procedural programming languages Programming paradigms Type theory C++ C Programming language Type system Î Software engineering Computing Computer programming
956	Type-safe Runtime Code Generation with LLVM Trevor L. McDonell1,2 1 Manuel M. T. Chakravarty2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2015-03-01 20:27:46 Data types Functional programming Type theory Compiler construction Procedural programming languages LLVM Type system Static single assignment form C Software engineering Computing Computer programming
957	gp2c types and the description system By Bill Allombert February 21, 2012 Contents 1 gp2c types Add to Reading List Source URL: pari.math.u-bordeaux.fr Language: English - Date: 2012-02-22 04:04:50 Computer programming Type theory Subroutines Primitive types C++ Type system Pattern matching Printf format string Main function Software engineering Computing Data types
958	University of California Los Angeles Robust Service Composition A dissertation submitted in partial satisfaction Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:37 Programming language semantics Programming language theory Data types Type theory Operational semantics Citizens for Tax Justice Semantics Process calculus Subtype polymorphism Theoretical computer science Logic in computer science Software engineering
959	ASN1C C/C++ Code Generation for 3GPP and LTE Specifications Objective Systems, Inc., December 2008 Add to Reading List Source URL: www.obj-sys.com Language: English - Date: 2008-12-22 00:00:00 C programming language Data types C++ Procedural programming languages Type theory Typedef Struct Union C Computing Software engineering Computer programming
960	Scheme Type Recovery 1 1 Introduction Scheme is a latently typed language [R3RS]. This means that unlike statically typed languages such Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:16 Type theory Data types Functional languages Lisp programming language Cross-platform software Continuation-passing style Type safety Variable Common Lisp Software engineering Computing Programming language theory

UPDATE